$\forall$$a$, $b$:Atom2. $a$ $=$ $b$ $\Leftrightarrow$ $a$ =a2 $b$